ABB unveils intelligent voice-activated smart home system Zurich, Switzerland, Sept. 06, 2015 – New free@home system controls 60 functions and enables combination of processes using ‘if… then’ logic. ABB, a globa

Source URL: www04.abb.com

Scala for TAPL’ers Part 2 Ilya Sergey Substitutions vs Closures Parsing

Source URL: ilyasergey.net

• Software engineering
• Computing
• Computer programming
• Lambda calculus
• Automated theorem proving
• Logic programming
• Subroutines
• Logic in computer science
• Substitution
• Closure
• Free variables and bound variables
• Term

Translating Alloy specifications to the point-free style Nuno Macedo Departamento de Informática Universidade do Minho Braga, Portugal

Source URL: alfa.di.uminho.pt

• Logic
• Mathematical logic
• Mathematics
• Abstraction
• Model theory
• Relational model
• Alloy
• Z notation
• First-order logic
• Structure
• Finitary relation
• Relational

An Automata Model for Trees with Ordered Data Values Tony Tan University of Edinburgh Edinburgh, UK Email:

Source URL: alpha.uhasselt.be

• Mathematical logic
• Theoretical computer science
• Tree automaton
• Tree
• Linear temporal logic
• First-order logic
• Finite-state machine
• Context-free grammar
• T-tree
• Automata theory
• Mathematics
• Formal languages

Flow Free – a programming competition http://spivey.oriel.ox.ac.uk/comp2012 This competition is open to all current Oxford undergraduates, with cash prizes of £600 generously provided by Morgan Stanley. The competitio

Source URL: spivey.oriel.ox.ac.uk

• Computing
• Data differencing
• Diff
• Pattern matching
• Puzzles
• Numberlink
• Board puzzles with algebra of binary variables
• Crossword
• Mathematics
• Games
• Logic puzzles

Reasoning Over Description Logic Ontologies under non-standard Assumptions Dissertation submitted in accordance with the requirements of the Free University of Bozen-Bolzano

Source URL: www.informatik.uni-bremen.de

Working Group on ‘Nuclear Weapons and Nuclear Weapons Free Zones’ of Pugwash, the Netherlands Laurens Hogebrink (main author) TACTICAL NUCLEAR WEAPONS AND THE (LACK OF) LOGIC OF RECIPROCITY: ‘REASSURANCE WITHIN NAT

Source URL: www.pugwash.nl

• NATO
• Nuclear weapons
• Nuclear strategies
• Foreign relations of the Soviet Union
• Nuclear Non-Proliferation Treaty
• Tactical nuclear weapon
• Nuclear sharing
• Nuclear warfare
• Nuclear proliferation
• International relations
• International security
• Cold War

Abstract syntax for variable binders: An overview Dale Miller Department of Computer Science and Engineering 220 Pond Laboratory, The Pennsylvania State University University Park, PAUSA

Source URL: www.lix.polytechnique.fr

• Lambda calculus
• Logic programming
• Type theory
• Predicate logic
• ΛProlog
• Unification
• Free variables and bound variables
• Simply typed lambda calculus
• Higher-order abstract syntax
• Logic
• Mathematics
• Theoretical computer science

PSYCHOLOGISM AND THE COGNITIVE FOUNDATIONS OF MATHEMATICS Christophe Heintz Institut Jean Nicod

Source URL: christophe.heintz.free.fr

• Mathematics
• Epistemology
• Philosophers of science
• Philosophers of mathematics
• German Christians
• Intuition
• Edmund Husserl
• Psychologism
• Logic
• Philosophy
• Philosophy of mathematics
• Knowledge

Logic-based reasoning support for SBVR Dmitry Solomakhin1) , Enrico Franconi2) , and Alessandro Mosca2) Free University of Bozen-Bolzano, Italy Piazza Domenicani 3, 39100 Bolzano, Italy 1)

Source URL: www.inf.unibz.it